A Formal Semantics for the SmartFrog Configuration Language
نویسندگان
چکیده
منابع مشابه
Formal Semantics for the Java Modeling Language
A common critique of formal methods in software development practise is, that they are not readily understandable and thus not widely used (see for instance [Nam97]). The Java Modeling Language (JML) was created in an attempt to bridge that gap. By building upon the syntax of Java it is meant to be easily accessible to the common user – who might not be skilled in formal modeling. Due to this a...
متن کاملFormal Semantics for the Java Modeling Language
location, 39accessible, 78annotation statement, 86assert, 89assignable, 78assume, 88augmented postcondition, 83augmented precondition, 83axiom, 42 Behavioral Interface Speci cation Lan-guage, 1behavioral subtype, 25\bigint, 12, 48 call stack, 17, 18class, 12Class (type), 12code fragment, 12annotated, 12constraint, see history const...
متن کاملA Formal Semantics for Multi-level Staged Configuration
Multi-level staged configuration (MLSC) of feature diagrams has been proposed as a means to facilitate configuration in software product line engineering. Based on the observation that configuration often is a lengthy undertaking with many participants, MLSC splits it up into different levels that can be assigned to different stakeholders. This makes configuration more scalable to realistic env...
متن کاملA two-level formal semantics for the QVT language
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In turn these output models may be transformed into another set of models until finally the output consists of program code that can be executed. Model transformation is the MDE engine. The QVT Language is a concrete ling...
متن کاملOverview of a Formal Semantics for the JADEL Programming Language
This paper outlines a first proposal of a formal semantics for the JADEL programming language. JADEL is an agent-oriented programming language based on JADE that has been recently proposed to ease the adoption of JADE, and to promote its use. In previous works, JADEL was specified at the syntax level, and only an informal semantics was given. The major contribution of this paper is to outline a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Network and Systems Management
سال: 2015
ISSN: 1064-7570,1573-7705
DOI: 10.1007/s10922-015-9351-y